積みプログラミング言語 & 技術リスト
アッキー✨の積みプログラミング言語 & 技術
A_kirisaki
が積んでるプログラミング言語や技術とか今やってるやつとかやる予定のやつとか
今やってる
PureScript
そのうちにやる
koka
Zig
Clojure
Nim
Kubernetes
（途中でほっぽってる）
rust-gpu
xv6
積んでる
Agda
Isabelle
Coq
Scala
F#
Idris
C++17
Elixir
OCaml
Unikernel
Linux
のカーネルビルドやその周辺知識
Systemd の仕組み
C17
Smalltalk
C#
Reason
Unity
Cycle.js
やった
Ruby
Forth
Julia
TLA+
Raspberry Pi
自作 OS
RISC-V
アセンブリ
Scheme
FPGA
Verilog
OpenCV
Rust
Go
Hindley-Milner 型推論
の実装
StandardML
Terraform
TypeScript
Elm
Prolog
Erlang
Haskell
Python
C++
Perl
C
JavaScript
BASIC